Narrow your search
Listing 1 - 10 of 35 << page
of 4
>>
Sort by
How to think about algorithms
Author:
ISBN: 9780521614108 9780521849319 9780511808241 9780511412783 0511412789 9780511413704 051141370X 9780511410451 051141045X 9780511649882 0511649886 0511808240 9781139637268 1139637266 0521849314 0521614104 1107175844 9781107175846 0511645791 9780511645792 9786612390289 661239028X 1282390287 9781282390287 0511568002 9780511568008 Year: 2008 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This textbook, for second- or third-year students of computer science, presents insights, notations, and analogies to help them describe and think about algorithms like an expert, without grinding through lots of formal proof. Solutions to many problems are provided to let students check their progress, while class-tested PowerPoint slides are on the web for anyone running the course. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author guides students around the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. The book fosters a deeper understanding of how and why each algorithm works. These insights are presented in a careful and clear way, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems.


Book
Python Scripting for Computational Science
Author:
ISBN: 3540739165 9783540739159 3540739157 9783540739166 3642093159 Year: 2008 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Numerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated computer codes. The resulting modi?cations have been incorporated in this new edition and its accompanying software. The major change between the second and third editions, however, is caused by the new implementation of Numerical Python, now called numpy. The new numpy package encourages a slightly di?erent syntax compared to the old Numeric implementation, which was used in the previous editions. Since Numerical Python functionality appears in a lot of places in the book, there are hence a huge number of updates to the new suggested numpy syntax, especially in Chapters 4, 9, and 10. The second edition was based on Python version 2.3, while the third edition contains updates for version 2.5. Recent Python features, such as generator expressions (Chapter 8.9.4), Ctypes for interfacing shared libraries in C (Chapter 5.2.2), the with statement (Chapter 3.1.4), and the subprocess module for running external processes (Chapter 3.1.3) have been exempli?ed to make the reader aware of new tools. Chapter 4.4.4 is new and gives a taste of symbolic mathematics in Python.

Pragmatic version control using Subversion.
Author:
ISBN: 9780977616657 0977616657 Year: 2008 Volume: 1 Publisher: Raleigh Pragmatic Bookshelf

Modern operating systems.
Author:
ISBN: 0136006639 9780136006633 Year: 2008 Publisher: Upper Saddle River Pearson


Book
Datastructuren in Java.
Author:
ISBN: 9789039525340 Year: 2008 Publisher: Den Haag SDU uitgeverij

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Behavioral modeling and simulation : from individuals to societies
Authors: --- --- ---
ISBN: 1281726745 9786611726744 0309118638 9780309118637 9781281726742 9780309118620 030911862X 6611726748 0309134323 9780309134323 Year: 2008 Publisher: Washington, D.C. : National Academies Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
Authors: --- --- --- ---
ISBN: 9783540784685 3540784683 3540784691 Year: 2008 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic programming --- 681.3*I26 <063> --- 681.3*I25 <063> --- 681.3*I24 <063> --- 681.3*F41 <063> --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence)--Congressen --- 681.3*I25 <063> Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- 681.3*I26 <063> Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer programming --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen --- Conferences - Meetings --- 681.3*F1 --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer science. --- Software engineering. --- Computer programming. --- Algorithms. --- Mathematical logic. --- Data mining. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Data Mining and Knowledge Discovery. --- Academic collection --- 681.3*I23 <063> --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Programming --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Information Technology --- Artificial Intelligence --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems


Book
Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : proceedings
Authors: --- ---
ISBN: 3540859284 3540859276 Year: 2008 Publisher: Berlin ; Heidelberg ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008. The 20 revised full papers presented together with the abstracts of 5 invited lectures were carefully reviewed and selected during two rounds of reviewing and improvement from 46 initial submissions. All current topics in inductive logic programming are covered, ranging from theoretical and methodological issues to advanced applications. The papers present original results in the first-order logic representation framework, explore novel logic induction frameworks, and address also new areas such as statistical relational learning, graph mining, or the semantic Web.

Keywords

Logic programming --- Induction (Logic) --- Inductive logic --- Logic, Inductive --- Logic --- Reasoning --- Information Technology --- Artificial Intelligence --- 681.3*D16 <063> --- 681.3*I26 <063> --- 681.3*I23 <063> --- 681.3*I2 <063> --- 681.3*F41 <063> --- Computer programming --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Artificial intelligence. AI--Congressen --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Computer science--?*D16 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Artificial intelligence. --- Computer science. --- Computer software. --- Data mining. --- Artificial Intelligence. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Data Mining and Knowledge Discovery. --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Software, Computer --- Computer systems --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer programming. --- Mathematical logic. --- Algorithms. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorism --- Algebra --- Arithmetic --- Programming --- Foundations

Pro Web 2.0 Mashups : Remixing Data and Web Services
Author:
ISBN: 1281314471 9786611314477 1430202866 159059858X 9781590598580 Year: 2008 Publisher: Berkeley, CA : Apress : Imprint: Apress,

Loading...
Export citation

Choose an application

Bookmark

Abstract

How many times have you seen a web site and said, “This would be exactly what I wanted— if only . . . ” If only you could combine the statistics here with data from your company’s earnings projections. If only you could take the addresses for those restaurants and plot them on one map. How often have you entered the date of a concert into your calendar with a single click instead of retyping? How often do you wish that you could make all the different parts of your digital world—your e-mail, your word processor documents, your photos, your search results, your maps, your presentations—work together more seamlessly? After all, it’s all digital and malleable information—shouldn’t it all just fit together? In fact, below the surface, all the data, web sites, and applications you use could fit together. This book teaches you how to forge those latent connections—to make the Web your own—by remixing information to create your own mashups. A mashup, in the words of the Wikipedia, is a web site or web application “that seamlessly combines content from more than one source 1 into an integrated experience. ” Learning how to draw content from the Web together into new integrated interfaces and applications, whether for yourself or for other others, is the central concern of this book.


Book
Object-oriented JavaScript : create scalable, reusable high-quality JavaScript applications and libraries
Author:
ISBN: 1281731749 9786611731748 184719415X 9781847194152 9781847194145 1847194141 9781281731746 6611731741 Year: 2008 Publisher: Birmingham, UK : Packt Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Create scalable, reusable high-quality JavaScript applications and libraries

Listing 1 - 10 of 35 << page
of 4
>>
Sort by